1. Computability & unsolvability
پدیدآورنده : DAVIS,MARTIN
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS
رده :
QA
9
.
615
.
D38
1982